English differentiable function: translation to other languages